41. Error- free Software

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)

موضوع: Computer software-- Reliability-- Congresses,Computer Software-- Development

رده :
QA
76
.
76
.
R44B33
1991
مشاهده در قفسه مجازی RIS Bibtex ISO

42. Error-free software

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Computer software -- Reliability,Computer software -- Development

رده :
QA
76
.
76
.
R44
B33
1991
مشاهده در قفسه مجازی RIS Bibtex ISO

43. Fault Prediction Modeling for the Prediction of Number of Software Faults /

پدیدآورنده:

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Evaluation.,Computer software-- Reliability.,Computer software-- Testing.,Computer software-- Evaluation.,Computer software-- Reliability.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.

رده :
QA76
.
76
.
R44
مشاهده در قفسه مجازی RIS Bibtex ISO

44. Fault prediction modeling for the prediction of number of software faults

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer software ; Reliability. ;

RIS Bibtex ISO

45. Formal methods for industrial critical systems :

پدیدآورنده:

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.

رده :
QA76
.
9
.
F67
I58
2018eb
مشاهده در قفسه مجازی RIS Bibtex ISO

46. Formal methods for industrial critical systems :

پدیدآورنده:

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.

رده :
QA76
.
9
.
F67
I594
2008eb
مشاهده در قفسه مجازی RIS Bibtex ISO

47. Formal methods for industrial critical systems :

پدیدآورنده:

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :
QA76
.
9
.
F67
I58
2011
مشاهده در قفسه مجازی RIS Bibtex ISO

48. Fundamentals of dependable computing for software engineers

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Fault-tolerant computing ► Computer software- Reliability

رده :
004
K692f
مشاهده در قفسه مجازی RIS Bibtex ISO

49. Fundamentals of dependable computing for software engineers /

پدیدآورنده:

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Reliability,Fault-tolerant computing

رده :
QA76
.
9
.
F38
مشاهده در قفسه مجازی RIS Bibtex ISO

50. Handbook of software reliability Engineering

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Computer software- Reliability Handbooks, Manuals, etc

رده :
005
H236
مشاهده در قفسه مجازی RIS Bibtex ISO

51. Handbook of software reliability engineering

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer software ; Reliability ; Handbooks, manuals, etc ;

RIS Bibtex ISO

52. Handbook of software reliability engineering

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer software--Reliability--Handbooks, manuals, etc

رده :
QA
,
76
.
76
,.
R44
,
H36
,
1996
مشاهده در قفسه مجازی RIS Bibtex ISO

53. Handbook of software reliability engineering

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Computer software Reliability - Handbooks, manuals, etc

رده :
QA
76
.
76
.
R44
H36
1995
مشاهده در قفسه مجازی RIS Bibtex ISO

54. Handbook of software reliability engineering

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Handbook, manuals, etc ، Computer software-- Reliability

رده :
QA
76
.
76
.
R44
.
H36
1995
مشاهده در قفسه مجازی RIS Bibtex ISO

55. High- integrity software

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)

موضوع: Computer Software--Reliability

رده :
QA
76
.
76
.
R44H54
1989
مشاهده در قفسه مجازی RIS Bibtex ISO

56. High integrity software: the Spark approach to safety and security

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer software-- Reliability,، Computer software-- Development,، Ada )Computer program language(

رده :
QA
76
.
76
.
R44
.
B37
2003
مشاهده در قفسه مجازی RIS Bibtex ISO

57. How to break software security: effective techniques for security testing

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Computer security,Testing ، Computer software,Reliability ، Computer software

رده :
QA
76
.
9
.
A25
W48
2004
مشاهده در قفسه مجازی RIS Bibtex ISO

58. Industrial perspectives of safety-critical systems :

پدیدآورنده:

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Automatic control -- Reliability -- Congresses.,Computer software -- Reliability -- Congresses.,Industrial safety -- Congresses.

RIS Bibtex ISO

59. Industrial perspectives of safety-critical systems :

پدیدآورنده:

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Automatic control -- Reliability -- Congresses.,Computer software -- Reliability -- Congresses.,Industrial safety -- Congresses.

رده :
T55
.
A1
F455
1998
مشاهده در قفسه مجازی RIS Bibtex ISO

60. Industrial perspectives of safety-critical systems: proceedings of the Sixth Safety-critical Systems Symposium Birmingham, 1998

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Congresses ، Industrial safety,Reliability - Congresses ، Automatic control,Reliability - Congresses ، Computer software

رده :
T
55
.
A1
S225
1998
مشاهده در قفسه مجازی RIS Bibtex ISO